proof of partial correctness - French English Dictionary